/**
 * A SelectionListener can get notified of changes to a Selection.
 * 
 * @author Matthias.Hauswirth@usi.ch
 */

package ch.usi.inf.pf2.gui;

public interface SelectionListener {

    public void selectionChanged();
    
}
